#define OS_SYSTICK_EXT

/* Includes ------------------------------------------------------------------*/
#include "stm32f1xx_hal.h"
#include "freeRTOS.h"
#include "task.h"

/* Import function prototypes ------------------------------------------------*/
extern void xPortSysTickHandler (void);

/* Private typedef -----------------------------------------------------------*/
/* Private define ------------------------------------------------------------*/
/* Private macro -------------------------------------------------------------*/
/* Private variables ---------------------------------------------------------*/

/* Public functions ----------------------------------------------------------*/
void os_systick_handle(void)
{
    #if (INCLUDE_xTaskGetSchedulerState  == 1 )
      if (xTaskGetSchedulerState() != taskSCHEDULER_NOT_STARTED)
      {
    #endif  /* INCLUDE_xTaskGetSchedulerState */  
        xPortSysTickHandler();
    #if (INCLUDE_xTaskGetSchedulerState  == 1 )
      }
    #endif  /* INCLUDE_xTaskGetSchedulerState */  
}
